lôgic toán câu

• Việc tiếp cận đến một định nghĩa hình thức hơn của thiên kiến qui nạp là dựa trên lôgic toán.
• Lôgic toán là một ngành con của toán học có liên hệ gần gũi với cơ sở toán học, khoa học máy tính lý thuyết, logic triết học.
• Năm 1879, Frege xuất bản tác phẩm Thủ bản khái niệm, trong đó, lần dầu tiên, một hệ thống lôgic toán học trong ý nghĩa hiện đại được trình bày.
• Ông không bao giờ xuất bản quyển thứ 3 của bộ Những luật cơ bản, và ông không có vai trò gì trong việc triển khai vấn đề lôgic toán học mà ông đã làm ra, dù nó đã tiến triển đáng kể cho tới trước lúc ông qua đời.